An Axiomatic Theory for Partial Functions
نویسندگان
چکیده
منابع مشابه
An Axiomatic Theory for Partial Functions
We describe an axiomatic theory for the concept of one-place, partial function, where function is taken in its extensional sense. The theory is rather general, i.e., concepts like natural numbers and sets are definable, and topics as non-strictness and self application can be handled. It contains a model of the (extensional) lambda calculus, and commonly applied mechanisms (like currying, induc...
متن کاملFuzzy type theory with partial functions
This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from it...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملAn Axiomatic Theory of Fairness
The tradeoff between fairness and throughput has been widely observed in network analysis and protocol design. Despite many existing fairness metrics (from simple ones like Jain’s index to more complex ones like α-fair utility), the meaning of fairness is largely based on problemoriented interpretations and judgments, with no well-established framework. To tackle this challenging problem, we pr...
متن کاملA new axiomatic foundation of the partial comparability theory
The paper presents some results obtained in searching a new axiomatic foundation for the partial comparability theory (PCT) in the frame of non conventional preference modeling. The basic idea is to define an extended preference structure able to represent lack of information, uncertainty, ambiguity, multidimensional and conflicting preferences, using formal logic as the basic formalism. A four...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1993
ISSN: 0890-5401
DOI: 10.1006/inco.1993.1063